Semantics of logic

Results: 1541



#Item
11Logic / Philosophy / Abstraction / Bayesian statistics / Markov networks / Reasoning / Model theory / Semantics / Probabilistic soft logic / Markov logic network / Probabilistic logic / Statistical relational learning

A Short Introduction to Probabilistic Soft Logic Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC

Add to Reading List

Source URL: stephenbach.net

Language: English - Date: 2013-06-10 18:15:10
12Logic / Mathematical logic / Non-classical logic / Modal logic / Proof theory / Philosophical logic / Model theory / Admissible rule / Sequent / Normal modal logic / Kripke semantics / Intuitionistic logic

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2008-10-20 05:03:57
13Quantification / Semantics / Logic / Linguistics / Abstraction / Quantifier / Logical Form / Existential quantification / Uniqueness quantification / Universal quantification / Chess annotation symbols / Treebank

Annotating Underquantification Aurelie Herbelot University of Cambridge Cambridge, United Kingdom

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2010-07-11 04:08:40
14Semantics / Linguistics / Logic / Analytic philosophy / Language acquisition / Philosophical logic / Philosophy of language / Reference / Referent / Vocabulary development / Proper noun / Gender-specific and gender-neutral third-person pronouns

CrossMark_Color_Stacked_p

Add to Reading List

Source URL: www.ircs.upenn.edu

Language: English - Date: 2016-04-28 15:46:45
15Linguistics / Logic / Grammar / Syntax / Semantics / Predicate / Argument / Proposition / Dependency grammar / Quantifier / Operator / Clause

Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both

Add to Reading List

Source URL: home.hum.uva.nl

Language: English - Date: 2009-12-01 07:07:32
16Semantics / Linguistics / Logic / Academia / Philosophical logic / Meaning / Philosophy of language / Grammar / Distributional semantics / Linguistic competence / Word sense / Pragmatics

The semantics of poetry: a distributional reading Aur´elie Herbelot University of Cambridge, Computer Laboratory J.J. Thomson Avenue, Cambridge CB1 8AZ United Kingdom

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-26 06:49:42
17Philosophy / Logic / Semantics / Abstraction / Philosophical logic / Grammar / Meaning / Lambda calculus / Hans Kamp / Presupposition / Montague grammar / Temporal logic

INTRODUCTION TO MEANING AND THE DYNAMICS OF INTERPRETATION Alice ter Meulen and Klaus von Heusinger This selection of original papers written by Hans Kamp—philosopherlinguist-logician-cognitive-scientist and computer-s

Add to Reading List

Source URL: gerlin.phil-fak.uni-koeln.de

Language: English - Date: 2016-01-26 05:29:24
18Philosophy / Logic / Metaphysics / Ontology / Philosophy of language / Semantics / Cartography / Geography / Spatial analysis / Mereology / Indeterminacy / Vagueness

GeoInformatica 6:2, 99±121, 2002 # 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Vagueness and Rough Location THOMAS BITTNER Department of Computer Science, Northwestern University, USA

Add to Reading List

Source URL: www.thomasebittner.com

Language: English - Date: 2012-04-30 16:06:48
19Unified Modeling Language / Object Constraint Language / Software / Data management / ECO / Isabelle / OCL / Null / Higher-order logic

Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗

Add to Reading List

Source URL: st.inf.tu-dresden.de

Language: English - Date: 2012-09-25 06:20:13
UPDATE